Integer programming - PDFSEARCH.IO - Document Search Engine

Integer programming
Results: 382

#	Item
351	ACM International Collegiate Programming Contest[removed]XXXVII St. Petersburg State University Championship, Sunday, December 15, 2013 Add to Reading List Source URL: opencup.ru Language: English - Date: 2014-02-02 12:45:12 Algebraic number theory Elementary number theory Integer Ring theory Addition Number Abstract algebra Mathematics Algebra
352	ACM International Collegiate Programming Contest[removed]XXXVI St. Petersburg State University Championship, Sunday, October 6, 2013 Add to Reading List Source URL: opencup.ru Language: English - Date: 2014-02-11 10:43:26 Acronyms Laser Photonics Integer Function Algorithm Mathematics Elementary mathematics Theoretical computer science
353	XIV Open Cup named after E.V. Pankratiev Round 10, Grand Prix of Kharkiv, Division 1, March 2, 2014 Problem A. Maximal Dierence Output le: Add to Reading List Source URL: opencup.ru Language: English - Date: 2014-03-07 13:12:23 Procedural programming languages Group theory Number Integer C Abstract algebra Mathematics Algebra
354	印刷（Plan9 Data structure ） Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-07-15 03:36:29 Data types Primitive types C programming language C++ Ip C++ classes ALGOL 68 Integer Pointer Computing Computer programming Software engineering
355	Predicting Structures in NLP Constrained Conditional Models and Integer Linear Programming Dan Goldwasser, Vivek Srikumar, Dan Roth Add to Reading List Source URL: l2r.cs.uiuc.edu Language: English - Date: 2012-06-03 01:08:18 Applied mathematics Science Software engineering Artificial intelligence Constrained conditional model Theoretical computer science
356	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2009-05-28 09:34:43 Model theory Boolean algebra Propositional calculus Cutting-plane method Resolution First-order logic Function Interpretation Linear programming Mathematics Logic Mathematical logic
357	In: Discrete Mathematics Research Progress Editor: Kenneth B. Moore, pp[removed]ISBN[removed]4 c 2007 Nova Science Publishers, Inc. ° Add to Reading List Source URL: www.esi2.us.es Language: English - Date: 2007-12-12 05:53:00 Integer sequences Number theory Analysis of algorithms Cooperative game Summation Dynamic programming Big O notation Presentation of a group Factorial Mathematics Mathematical notation Operations research
358	Microsoft PowerPoint - OORexx-Product-Profile.ppt Add to Reading List Source URL: www.rexxla.org Language: English - Date: 2013-03-09 15:18:13 Cross-platform software IBM software REXX Internet Explorer Windows Script Host Programming language Integer E NetRexx Computing Software Scripting languages
359	Solution to an Integer LP May Not Be One of the Integer Vertices An Integer Linear Program: The following problem is from Linear Programming: Methods and Applications, by G.V. Shenoy, John Wiley & Sons, 1989. Add to Reading List Source URL: home.ubalt.edu Language: English - Date: 2006-10-08 10:18:33 Applied mathematics Linear programming Optimization problem Linear programming relaxation Operations research Mathematical optimization Mathematics
360	An Online Proof-Producing Decision Procedure for Mixed-Integer Linear Arithmetic Sergey Berezin, Vijay Ganesh, and David L. Dill Stanford University {berezin,vganesh,dill}@stanford.edu Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2007-03-24 22:33:28 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean satisfiability problem Fourier–Motzkin elimination Satisfiability Modulo Theories Constraint satisfaction Theoretical computer science Applied mathematics Mathematics